Перегляд за автором "Лялецкий, А.В."

Сортувати за: Порядок: Результатів:

  • Алгоритм Очевидности Глушкова 
    Летичевский, А.А.; Лялецкий, А.В.; Мороховец, М.К. (Кибернетика и системный анализ, 2013)
    Розглядаються загальні підходи В.М. Глушкова до проблеми штучного інтелекту. Зокрема, детально висвітлюється історія досліджень за програмою «Алгоритм Очевидності», ініційованою В.М. Глушковим. Аналізуються результати, ...
  • Системы Theorema и автоматизация дедукции: сравнительный анализ 
    Анисимов, А.В.; Джебелян, Т.; Лялецкий, А.В.; Попов, Н. (Управляющие системы и машины, 2011)
    Рассмотрены основные парадигмы обработки математических знаний и обозначено место среди них систем Theorema и автоматизация дедукции. Описаны сравнительный анализ систем, общие черты их построения и различие в методах ...